Feeds to Scour
SubscribedAll
Scoured 20670 posts in 406.9 ms
Build a Compiler in Five Projects
kmicinski.com·5h
⚙Rust Compiler Internals
Zinc Language Design
ziggit.dev·6h
🔒Borrow Checker
LocateEdit-Bench: A Benchmark for Instruction-Based Editing Localization
arxiv.org·1d
🎯Cursor IDE
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
Week 1: Why did I start learning Rust?
vitaliihonchar.com·1h·
Discuss: r/programming
🦀Rust
Automatic Programming
notes.billmill.org·2d
👨‍💻AI Coding
feldera/feldera: The Feldera Incremental Computation Engine
github.com·5h
⚡DataFusion
Linting intra-task concurrency and FutureLock
farnoy.dev·2d·
Discuss: r/rust
🔄Async Rust
felt the flow while programming
skuka.online·1d
⚡Developer Experience
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·2d
📐TLA+
zmem-org/ZMEM: Extremely fast binary message format with minimal memory overhead and zero copy access
github.com·19h·
Discuss: Hacker News
⚡Zero-Copy Serialization
An Analysis of User-space Idle State Instructions on x86 Processors
danglingpointers.substack.com·2d·
Discuss: Substack
⚙️Mechanical Sympathy
The Instantiation Era - Log
nibzard.com·1d
🪄Prompt Engineering
Hoot: Scheme on WebAssembly
spritely.institute·3h·
Discuss: Hacker News
🕸️WebAssembly System Interface
Both GCC and Clang generate strange/inefficient code
codingmarginalia.blogspot.com·17h·
Discuss: Hacker News, Hacker News
⚙Rust Compiler Internals
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
💻Programming languages
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🌳B+ Trees
ahead-of-time wasm gc in wastrel
wingolog.org·23h·
Discuss: Lobsters, Hacker News
🔒Borrow Checker
Compile and Run Your First Program
emojicode.org·1d·
Discuss: Hacker News
🔤Tokenization
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set
arxiv.org·1d
⚙Rust Compiler Internals

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help